Auflistung nach Schlagwort "Propositional dependence logic"

Auflistung nach Schlagwort "Propositional dependence logic"

Sortiert nach: Sortierung: Ergebnisse:

  • Axiomatizing propositional dependence logics 
    Sano, Katsuhiko; Virtema, Jonni (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional ...
  • Parameterised complexity of model checking and satisfiability in propositional dependence logic 
    Mahmood, Yasir; Meier, Arne (Dordrecht [u.a.] : Springer Science + Business Media B.V, 2021)
    Dependence Logic was introduced by Jouko Väänänen in 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parameterisations with respect to central decision problems. The model checking ...
  • Parameterized aspects of team-based formalisms and logical inference 
    Mahmood, Yasir (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2022)
    Parameterized complexity is an interesting subfield of complexity theory that has received a lot of attention in recent years. Such an analysis characterizes the complexity of (classically) intractable problems by pinpointing ...